85,79 €
114,39 €
-25% su kodu: ENG25
The Calculus of Computation
85,79 € 
- Išsiųsime per 10–14 d.d.
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
/https://libri-media.knygos-static.lt/7951cf98-7158-4b07-b708-ee242688a8f2/1)
- Autorius: Aaron R. Bradley, Zohar Manna
- Leidėjas: Springer-Verlag GmbH
- Metai: 2007
- ISBN-10: 3540741127
- ISBN-13: 9783540741121
- Formatas: 15.9 x 24.1 x 3 cm, kieti viršeliai
- Kalba: Anglų
- Extra -25 % nuolaida šiai knygai su kodu: ENG25
Atsiliepimai
Aprašymas
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
EXTRA 25 % nuolaida su kodu: ENG25
85,79 €
114,39 €
Išsiųsime per 10–14 d.d.
Akcija baigiasi už 3d.00:47:45
Nuolaidos kodas galioja perkant nuo 10 €. Nuolaidos nesumuojamos.
- Autorius: Aaron R. Bradley, Zohar Manna
- Leidėjas: Springer-Verlag GmbH
- Metai: 2007
- ISBN-10: 3540741127
- ISBN-13: 9783540741121
- Formatas: 15.9 x 24.1 x 3 cm, kieti viršeliai
- Kalba: Anglų Anglų
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
Atsiliepimai